Change and Continuity at IBM: Key Themes in Histories of IBM
نویسندگان
چکیده
منابع مشابه
AI at IBM Research
IBM has played an active role in AI research since the field’s inception more than 50 years ago. In a trend that reflects the increasing demand for applications that behave intelligently, IBM today carries out most AI research in an interdisciplinary fashion by combining AI techniques with other computing techniques to solve difficult technical problems.
متن کاملAugmented Reality at IBM
IBM has recently been working with a number of partners to explore Augmented Reality (AR) technology, in order to understand how AR can enable new innovative and practical solutions for the future. Given their strong background in advanced graphics, image recognition and computer vision technologies, IBM aims to leverage their expertise in these areas to create compelling AR technology and solu...
متن کاملModel Checking at IBM
Over the past nine years, the Formal Methods Group at the IBM Haifa Research Laboratory has made steady progress in developing tools and techniques that make the power of model checking accessible to the community of hardware designers and verification engineers, to the point where it has become an integral part of the design cycle of many teams. We discuss our approach to the problem of integr...
متن کاملIBM Research Activities at TREC
Several groups in IBM’s Research Division have participated in TREC, with differing goals. This chapter summarizes some of their activities and the conclusions they reached. It should be emphasized that there was no central plan in these activities – individual groups decided to participate in the way that made sense to them at the time. In effect, participation in TREC was a tool they used to ...
متن کاملRuleBase: Model Checking at IBM
RuleBase is a symbolic model checking tool, developed by the IBM Haifa Research Laboratory. It is the result of four years of experience in practical formal verification of hardware which, we believe, has been a key factor in bringing the tool to its current level of maturity. Our experience shows that after a short training period, designers can operate the tool independently and achieve impre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Business History Review
سال: 2018
ISSN: 0007-6805,2044-768X
DOI: 10.1017/s0007680518000041